SET(VERSION_MAJOR "5")
SET(VERSION_MINOR "13")
SET(VERSION_PATCH "0")
SET(VERSION_DATE "2025-08-04")
